resolution principle
英 [ˌrezəˈluːʃn ˈprɪnsəpl]
美 [ˌrezəˈluːʃn ˈprɪnsəpl]
网络 消解原理; 研究消解原理; 归结原理; 分解定理
双语例句
- Further, resolution principle based on matrix calculus is proposed.
进一步，在万中提出了基于矩阵运算的归结原理。 - Aiming at current domain name system ( DNS), this paper analyzes its work procedure and domain name resolution principle and discusses the optimizing performance.
针对当前域名系统，通过分析其域名解析的原理，指出其性能优化的方向。 - The purpose of the resolving is to prove with resolution principle that the set of the clauses S is unsatisfiable.
归结的目的在于用归结原理证明子句集S不可满足。 - , the general resolution principle cannot give the answer by itself.
的值是什么？这一经典的证明论问题，广义归结原理本身并没有给出解答。 - The high range resolution principle and Doppler performance is analyzed. The effect of velocity and acceleration on one-dimensional high range resolution is calculated through simulation.
分析其高距离分辨原理及多普勒性能，通过仿真，计算速度、加速度对一维距离高分辨的影响。 - Resolution principle is one of the most important principles in automatic deduction.
归结原理（resolutionprinciple）是计算机自动推理的重要原理之一。 - Methods for Reducing the Space Complexity of the Genera Resolution Principle
降低广义归结原理空间复杂度方法的研究 - Then, several improvements are made, and a modified ordered linear resolution principle, MOL resolution, is presented.
然后加以若干改进，提出一种改进后的序线性归结原理，即MOL归结。 - The Exploration of Problem Solving based on Resolution Principle
用归结原理进行问题求解的探索 - Generalized fuzzy logic and lock semantic resolution principle
广义模糊逻辑和锁语义归结原理 - Essentially, not all of the proving of resolution principle is constructive, so not all loop program can be extracted from the proving.
由于归结原理的反证法本质，不能保证其证明是构造性的，因此不能保证能够抽取循环程序，但是利用数学归纳法可以使用归结原理来抽取循环体，从而抽取循环程序。 - Though resolution principle is a reduction to absurdity, it has been known that linear program can be extracted from resolution principle, and it is already proved that branch program can be extracted from resolution principle.
归结原理是一种反证法，人们早已知道可以从归结证明中抽取顺序程序，并且已经证明可以从归结证明树抽取分支程序。 - It is proved that the MOL resolution principle is complete.
本文证明了MOL归结原理是完备的。 - A Resolution Principle for Constrained Logics
一个约束逻辑的消解原理 - This paper proves that lock semantic resolution principle are complete in special fuzzy logic.
在狭义模糊逻辑中的锁语义归结原理可以有比在广义模糊逻辑中更强的限制。本文讨论了这种更强限制下的锁语义归结原理，证明了它在狭义模糊逻辑中是完备的。 - But loop program can be extracted from the proving of resolution principle with the aid of mathematical induction.
本文利用归结原理进行计算机定理证明，然后从归结证明树中抽取程序。 - Negative Hyper Ordered Resolution Principle
负超有序消解原理 - Research on extensible markup language problem solving based on resolution principle
基于归结原理的可扩展标识语言问题求解 - Semantic resolution, lock resolution and linear resolution are three important improvements of resolution principle.
语义归结、锁归结、线性归结是三种重要的关于归结原理的改进。 - Determination factor for super-high yield of rice Negative Hyper Ordered Resolution Principle
水稻超高产的决定因素负超有序消解原理 - A resolution principle for constrained clauses is proposed, where unification is replaced by testing constraints for satisfiability over the constraint theory.
本文提出了一种约束子句的消解原理，其中测试是否满足约束理论的约束取代了一致化。 - It discusses carefully the basic concepts and inference rule of the resolution principle. According to the discussion, resolution method is used to prove a mathematical theorem through a example.
对归结原理的基本概念与推理规则进行了讨论，并在此基础上通过实例探讨了归结推理方法在数学定理证明中的应用。 - We bring forward some problems with regard to automated theorem proving based on resolution principle and program extracting. The settlement of these problems will make program synthesis and automated theorem proving applied.
本文提出了基于归结原理实现定理自动证明和程序抽取方面有待解决的问题，这些问题的解决将使得定理机器证明和程序综合从理论走向实用。 - The α-resolution principle and the α-automated reasoning method based on lattice-valued ( propositional) logic LP ( X) can be used to model uncertain information that may be comparable or ( incomparable.)
基于格值命题逻辑LP（X）的α-归结原理及α-归结自动推理方法，能够较好地刻画具有可比较性和不可比较性的不确定性信息。 - Resolution Principle is an important means of automatic proving of theorem.
归结原理是定理自动证明的重要工具。 - Selection index and the resolution principle of correlated genetic progress
选择指数与相关遗传进展的分解原理 - The Implication and Resolution Principle of Intuitionistic Operator Fuzzy Logic
直觉算子模糊逻辑中的蕴含及其归结原理 - The resolution principle of intuitionistic fuzzy logic
直觉模糊逻辑中的归结原理 - Then we use resolution principle to resolute the architecture theorems and conclusions.
然后，利用消解原理，对转化为计算机内部表示的体系结构定理、待证结论进行消解，将软件体系结构的精化问题转换为定理的自动证明问题； - A Rudimentary Research: Resolution Principle and Its Application in Mathematical Theorem Proving
归结原理及其在数学定理证明中的应用